Build and run tests with Verific (Linux)

Add tutorial for adapting write_functional_smt2 #1918

Sign in to view logs

Triggered via pull request February 7, 2025 02:39

KrystalDelusion

opened #4884

docs-preview-functional_tutorial

Status Success

Total duration 14s

Artifacts –

test-verific.yml

on: pull_request