Temporal

Compile with : gcc -o test_env test_env.c DL_Lib.c NV_Lib.c JK_Lib.c -I.

Run with : ./test_env

Add functions to your Lib and the decleration of them to the library.h file.

git add .

git commit -m "new functions"

git push

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
a.out.dSYM/Contents		a.out.dSYM/Contents
large.dSYM/Contents		large.dSYM/Contents
DL_Lib.c		DL_Lib.c
JK_Lib.c		JK_Lib.c
LTLOUTPUT.txt		LTLOUTPUT.txt
LTLOUTPUT_Large.txt		LTLOUTPUT_Large.txt
NV_Lib.c		NV_Lib.c
New_Buchi.c		New_Buchi.c
README.md		README.md
Test.txt		Test.txt
a.out		a.out
adj.txt		adj.txt
adj2.txt		adj2.txt
large		large
large_state.c		large_state.c
library.h		library.h
maexec		maexec
main		main
main.c		main.c
main2		main2
main2.c		main2.c
sample_locs.txt		sample_locs.txt
small		small
small_state.c		small_state.c
test_env		test_env
test_env.c		test_env.c

Provide feedback