Closed ChristianoBraga closed 1 year ago
Simplify contract compilation by adding verification-common.md tokplutus_files in the Makefile.
verification-common.md
kplutus_files
Makefile
A given verification.md now only needs to require verification-common.md without mentioning addictional path information.
verification.md
tests/spec/simple/verification.md
functional
total
Simplify contract compilation by adding
verification-common.md
tokplutus_files
in theMakefile
.A given
verification.md
now only needs to requireverification-common.md
without mentioning addictional path information.tests/spec/simple/verification.md
to accomodate this simplification. (And changedfunctional
tototal
on it.)