Alessandro Arzilli 0da1c9a9d7 Documentation: document passing arguments to the test program (#2459) ... Add documentation on how to pass arguments to the program generated by `dlv test`. Fixes #2458		2021-05-04 12:37:09 -07:00
..
dlv	Documentation: document passing arguments to the test program (#2459)	2021-05-04 12:37:09 -07:00