Commit 663fadb8 authored by Marek Kochanowicz's avatar Marek Kochanowicz
Browse files

add unit tests for `smt_set_setup_parameters_operation` - fix #1516

parent 4f5052d8
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment