test_loc.why 93 Bytes
Newer Older
1 2 3 4 5 6 7 8 9


theory T


  goal G "expl:Coucou" "file:toto.c" "line:3" "begin:7" "end:14" :
     1=2

end