From 607f4b92f678644cf55faf215a0cb2b23889de6b Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 10 Jun 2019 13:42:17 -0700 Subject: [PATCH] add unit testing of jupyter notebooks Signed-off-by: Nikolaj Bjorner --- azure-pipelines.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/azure-pipelines.yml b/azure-pipelines.yml index 990b38b44..4b8445413 100644 --- a/azure-pipelines.yml +++ b/azure-pipelines.yml @@ -80,6 +80,9 @@ jobs: ./test-z3 -a cd .. condition: eq(variables['runUnitTest'], 'True') + - script: | + jupyter-nbconvert --to notebook --execute --output out.txt examples/python/tutorial/jupyter/guide.ipynb + jupyter-nbconvert --to notebook --execute --output out.txt examples/python/tutorial/jupyter/strategies.ipynb - script: git clone https://github.com/z3prover/z3test z3test - script: python z3test/scripts/test_benchmarks.py build/z3 z3test/regressions/smt2