tests: add base_formal_isa
authorJean Privat <jean@pryen.org>
Wed, 12 Dec 2012 05:26:17 +0000 (00:26 -0500)
committerJean Privat <jean@pryen.org>
Wed, 12 Dec 2012 13:15:39 +0000 (08:15 -0500)
commit9000f4b36d03491911ae2b5b177e052d05d98bfb
treed6e2c47afc64c5424e05101ed09c9e38a4ab4ed2
parent300164d2cf1987bbedf49eb55fc78d30a4850450
tests: add base_formal_isa

Signed-off-by: Jean Privat <jean@pryen.org>
tests/base_formal_isa.nit [new file with mode: 0644]
tests/sav/base_formal_isa.res [new file with mode: 0644]
tests/sav/nitc/fixme/base_formal_isa.res [new file with mode: 0644]
tests/sav/nitg-e/fixme/base_formal_isa.res [new file with mode: 0644]
tests/sav/niti/fixme/base_formal_isa.res [new file with mode: 0644]