SWI-Prolog / roadmap

Discuss future development
20 stars 3 forks source link

Packs could have a standardized layout for PLT (Tests) #60

Open TeamSPoon opened 4 years ago

TeamSPoon commented 4 years ago

Test files in Packs might have a standard expected layout so can do things like:

?- pack_run_tests(some_pack,[....]).

or

?- pack_verify(some_pack,[....]).

Right now everyone uses: test/ tests/ t/ or your_mom/

Maybe a pathname or something could be added to the pack.pl file?

and/or a single file found someplace like pack_verify.plt

And maybe a way to globally test all packs (for all packs that conform to this standard) like:

?- pack_test_all([include([pack1,pack2...]),exclude(...). ...]). 
JanWielemaker commented 4 years ago

That makes a lot of sense. The internal test files use these conventions:

Given a standard directory name, we are done in that case. That might be easier than extending pack.pl?