You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Tamas K. Papp 28a412688e
Add new configuration option `continue_on_error`, closes #201. (#257)
1 year ago
..
coverage Remove unused test/coverage/coverage.jl file. 7 years ago
runtests.jl Add new configuration option `continue_on_error`, closes #201. (#257) 1 year ago