Skip to content
Build and Test Dafny Runtimes

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

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 #10571

Triggered via pull request July 8, 2025 12:51
@keyboardDrummerkeyboardDrummer
opened #6301
keyboardDrummer:refactorBoogieGenerator
Status Success
Total duration 6m 51s
Artifacts –

runtime-tests.yml

on: pull_request
check-deep-tests  /  check-deep-tests
6s
check-deep-tests / check-deep-tests
build
6m 37s
build
Fit to window
Zoom out
Zoom in