tests

Test Hardware Architecture Status Filtered Status
copy_propagation_test ba pass
copy_propagation_test maxmax_sat_ pass