Closed ChristianoBraga closed 2 years ago
verification-common.md
kplutus_files
Makefile
verification.md
tests/spec/simple/verification.md
functional
total
I don't know what is going on here.
verification-common.md
tokplutus_files
in theMakefile
.verification.md
now only needs to requireverification-common.md
without mentioning an additional path information.tests/spec/simple/verification.md
to accomodate this simplification. (And changedfunctional
tototal
on it.)