Mirrors/ctf-tools
2
0
Fork 0
mirror of https://github.com/zardus/ctf-tools synced 2024-12-04 18:29:26 +00:00
Code Issues Projects Releases Packages Wiki Activity
670 commits 6 branches 0 tags 790 KiB
Commit graph

2 commits

Author SHA1 Message Date
Steven Van Acker
7144e756e5 fail hard on any error + verify that all scripts use bash -ex to fail 
early on any error + anticipate that some tools can't be installed by
now, but we still want the test to return success to satisfy travis-ci
 2017-02-16 22:40:17 +01:00
Riccardo Schirone
d9f5fb07d3 Add z3 theorem prover 2016-09-21 12:03:01 +00:00