Pipelines - Run 20220414.3

#20220414.3 • Merge pull request #714 from agirardi-fbk/left-associative-bv

pysmt.pysmt

This run is being retained as one of recent runs by pipeline.

Summary Code Coverage

Triggered by

M

mikand

Repository and version

master a9060f85

Time started and elapsed

Apr 14, 2022 at 10:31 AM

4m 35s

Related

0 work items0 artifacts

Tests and coverage

Jobs

	Name	Status	Duration


	UbuntuPy37 Py37NoSolver	Success	35s
	UbuntuPy37 Py37Msat	Success	2m 34s
	UbuntuPy37 Py37Z3	Success	1m 44s
	UbuntuPy37 Py37Yices	Success	2m 57s
	UbuntuPy37 Py37CVC4	Success	21m 34s
	UbuntuPy37 Py37Btor	Success	2m 47s
	UbuntuPy37 Py37Picosat	Success	42s
	UbuntuPy37 Py37Bdd	Success	2m 30s
	UbuntuPy37 Py37MsatWrap	Success	35s
	UbuntuPy37 Py37Z3Wrap	Success	32s
	UbuntuAll Py37All	Success	22m 29s
	UbuntuAll Py37Cython	Success	1m 12s
	UbuntuAll Py37GMPy	Success	1m 17s
	UbuntuAll Py37CythonGMPy	Success	1m 38s
	UbuntuPyPy3 PyPy3NoSolver	Success	58s
	UbuntuPyPy3 PyPy3MsatWrap	Success	59s
	UbuntuPyPy3 PyPy3Z3Wrap	Success	58s
	OSX Py37NoSolver	Success	46s
	OSX Py37Msat	Success	2m 45s
	OSX Py37Z3	Success	2m 5s
	OSX Py37Yices	Success	3m 42s
	Windows Py37NoSolver	Success	1m 35s
	Windows Py37Msat	Success	6m 36s
	Windows Py37Z3	Success	2m 45s
	PyPi	Success	23s