Skip to content
Build DafnyRef.pdf

Extract code into separate methods in ExpressionTranslator, and extract BinaryExpr translation code into separate file #20264

Sign in to view logs

Extract code into separate methods in ExpressionTranslator, and extract BinaryExpr translation code into separate file

Extract code into separate methods in ExpressionTranslator, and extract BinaryExpr translation code into separate file #20264

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
6s
build-refman (ubuntu-22.04)
2m 39s
2m 45s