aboutsummaryrefslogtreecommitdiff
path: root/src/scripts/b_des_con_3.sh
blob: c00c1255c15a02725c25b0800835e28d666e0360 (plain)
1
2
3
4
5
6
7
8
9
#!/bin/bash
TIMEFORMAT='
semantic property: descending
syntactic property: Container
search time: %R seconds
'
time {
cargo run b_des_con.rs gen_des_con 3
}