search

gradual-verification / gvc0

Gradually Verified C0
6 stars 5 forks source link

Test file IO should use Source.getResource("...") rather than Source.getFile("...") #7

Open jennalwise opened 3 years ago

jennalwise commented 3 years ago

Source.getFile looks for the file in the project root folder, so to run a test file the following command is required:

 sbt 
 run src/test/resources/<file.c0>

In contrast, Source.getResource looks for the file in src/test/resources/ by default. So, to run a test file in the resources folder the following command is required:

sbt
run <file.c0>

This second command aligns with the description in the README, whereas the first command does not.