ada/spat
0
0
Fork 0
mirror of https://github.com/AdaCore/spat.git synced 2026-02-12 13:09:53 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
spat/test/test-saatana
History
Vinzent "Jellix" Saranen 4129d40e4d Added fake bodies to improve file selection test.
2020-07-11 15:53:53 +02:00
..
_build/gnatprove
Test scripts (#14)
2020-06-06 21:34:57 +02:00
lemmas
Test scripts (#14)
2020-06-06 21:34:57 +02:00
src
Added fake bodies to improve file selection test.
2020-07-11 15:53:53 +02:00
tests
Added fake bodies to improve file selection test.
2020-07-11 15:53:53 +02:00
saatana.gpr
Test scripts (#14)
2020-06-06 21:34:57 +02:00