techmap: Add -dont_map for selective disabling of rules
#1365
| Job | Run time |
|---|---|
| 5s | |
| 29s | |
| 15m 32s | |
| 19m 44s | |
| 10m 11s | |
| 10m 28s | |
| 56m 29s |
-dont_map for selective disabling of rules
#1365
| Job | Run time |
|---|---|
| 5s | |
| 29s | |
| 15m 32s | |
| 19m 44s | |
| 10m 11s | |
| 10m 28s | |
| 56m 29s |