Skip to content

fix(engine/fstar): fix c_trait_goal and always use it for traits #143

fix(engine/fstar): fix c_trait_goal and always use it for traits

fix(engine/fstar): fix c_trait_goal and always use it for traits #143

Triggered via pull request June 26, 2024 13:42
Status Success
Total duration 6m 2s
Artifacts

charon.yml

on: pull_request
Fit to window
Zoom out
Zoom in