-clock better support

[alaindargelas]

more accurate support for -clock in constraints

[codecov]

Codecov Report

Attention: Patch coverage is 0% with 7 lines in your changes missing coverage. Please review.

Project coverage is 14.77%. Comparing base (6779ddf) to head (9c0b43f).
Report is 15 commits behind head on main.

Files with missing lines	Patch %	Lines
src/Compiler/Constraints.cpp	0.00%	7 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##             main    #1704      +/-   ##
==========================================
- Coverage   14.77%   14.77%   -0.01%     
==========================================
  Files         480      480              
  Lines       64021    64022       +1     
  Branches    26276    26276              
==========================================
  Hits         9461     9461              
- Misses      53328    53330       +2     
+ Partials     1232     1231       -1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.