GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-18 19:41:44 +03:00
Code Issues Projects Releases Wiki Activity
128 Commits 51 Branches 0 Tags 14 MiB
be61b37569
Commit Graph

2 Commits

Author SHA1 Message Date
Ben Selfridge
2ada779a1f test-just-exit 2017-10-24 17:21:00 -07:00
Ben Selfridge
2a7213f416 Added a simple test, which fails. 2017-10-24 16:36:36 -07:00