summaryrefslogtreecommitdiff
path: root/Dockerfile_for_circleci_image
diff options
context:
space:
mode:
authorMarc Glisse <marc.glisse@inria.fr>2020-04-05 00:35:23 +0200
committerMarc Glisse <marc.glisse@inria.fr>2020-04-05 00:35:23 +0200
commit3ca13b31e5f48fbaef2ba7db980643716c18725c (patch)
treee8971fc9a5262c17ccb1104d262dccfedd98dc70 /Dockerfile_for_circleci_image
parentb2cfc0691147ca122861bc423d41495c4b444dde (diff)
compute_persistence in python
Also simplify references, and replace print with assert for errors
Diffstat (limited to 'Dockerfile_for_circleci_image')
0 files changed, 0 insertions, 0 deletions