Tool developped for "Bounded verification of message passing concurrency in Go programs."
39
stars
7
forks
source link
Add option to give a vector of values to determine the value given to the mandatory and optional parameters #12
Open
nicolasdilley opened 3 years ago
This could be done via a config.json file
or given as args ?