Files

 master

/

test

/

Copy path

Directory actions

More options

Directory actions

More options

Latest commit

samuelgruetter

make/make notest don't run tests, make all/make test do

Jan 14, 2023

c5421cf · Jan 14, 2023

History

History

/

test

/

Top

Folders and files

Name		Name	Last commit message	Last commit date
parent directory ..
SlowGoals.v		SlowGoals.v	make/make notest don't run tests, make all/make test do	Jan 14, 2023
SortedListString_test.v		SortedListString_test.v	make/make notest don't run tests, make all/make test do	Jan 14, 2023
TestGoals.v		TestGoals.v	make/make notest don't run tests, make all/make test do	Jan 14, 2023
View all files