add debug flag to `verify` #1122

rsoeldner · 2023-01-11T11:05:53Z

Writes certain debug files into pact-verify-MODULE\

src-tool/Pact/Analyze/Check.hs

emilypi

Docs should be rerun if changes are accepted, then it looks good to go!

src/Pact/Repl/Lib.hs

add debug flag to verify

4e20076

rsoeldner requested review from emilypi and jmcardon January 11, 2023 11:05

rsoeldner mentioned this pull request Jan 11, 2023

Add optional file path for verify to write SMTLib2 output #1100

Closed

rsoeldner force-pushed the rsoeldner/verify-debug branch from 9e8208f to 3c052ff Compare January 11, 2023 13:12

fix typecheck only build flag

84bd46c

rsoeldner force-pushed the rsoeldner/verify-debug branch from 3c052ff to 84bd46c Compare January 11, 2023 13:24

jwiegley approved these changes Jan 11, 2023

View reviewed changes

src-tool/Pact/Analyze/Check.hs Outdated Show resolved Hide resolved

src-tool/Pact/Analyze/Check.hs Show resolved Hide resolved

remove extra whitespace

7b8e3d4

rsoeldner marked this pull request as ready for review January 11, 2023 19:06

Merge branch 'master' into rsoeldner/verify-debug

6ae5290

emilypi requested changes Jan 17, 2023

View reviewed changes

src/Pact/Repl/Lib.hs Outdated Show resolved Hide resolved

src/Pact/Repl/Lib.hs Outdated Show resolved Hide resolved

address review comments

02af5c7

emilypi approved these changes Jan 24, 2023

View reviewed changes

emilypi merged commit a25417b into master Jan 31, 2023

emilypi deleted the rsoeldner/verify-debug branch January 31, 2023 23:17

Provide feedback