P icon indicating copy to clipboard operation
P copied to clipboard

Published 20 hours ago • verified publisher icon p-org

Rename `test` to `check` when declaring the scenarios

Open ankushdesai opened this issue 4 years ago • 0 comments

As we are adding support for symbolic execution of P programs. It would be good to replace test to check when adding scenarios to be tested.

ankushdesai avatar Nov 19 '20 01:11 ankushdesai