tests/model/coercion · dolmen · Tangled

Sign in Join now

dolmen stepbrobd.com /

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

forked from gbury/dolmen

Star Starred Star 1

Something went wrong. Try again.

Watch Watching Watch

Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines

dolmen /tests /model /coercion

8 files

Basile Clément · fix: Add missing model for `to_int` coercion (#221) · 2y ago

fix: Add missing model for `to_int` coercion (#221)

Support coercion in models (only arith ones for now)

int_to_real.expected

Support coercion in models (only arith ones for now)

int_to_real.rsmt2

Support coercion in models (only arith ones for now)

int_to_real.smt2

Support coercion in models (only arith ones for now)

real_to_int.expected

fix: Add missing model for `to_int` coercion (#221)

real_to_int.rsmt2

fix: Add missing model for `to_int` coercion (#221)

real_to_int.smt2

fix: Add missing model for `to_int` coercion (#221)