diff options
| -rw-r--r-- | src/systemc/core/sc_time.cc | 8 | ||||
| -rw-r--r-- | src/systemc/tests/systemc/kernel/sc_time/test16/expected_returncode | 1 |
2 files changed, 9 insertions, 0 deletions
diff --git a/src/systemc/core/sc_time.cc b/src/systemc/core/sc_time.cc index 999fba2f9..0b8ad620b 100644 --- a/src/systemc/core/sc_time.cc +++ b/src/systemc/core/sc_time.cc @@ -494,6 +494,14 @@ sc_set_default_time_unit(double d, sc_time_unit tu) // Normalize d to seconds. defaultUnit = d * TimeUnitScale[tu]; specified = true; + + double resolution = SimClock::Float::Hz; + if (resolution == 0.0) + resolution = TimeUnitScale[SC_PS]; + if (defaultUnit < resolution) { + SC_REPORT_ERROR("(E515) set default time unit failed", + "value smaller than time resolution"); + } } sc_time diff --git a/src/systemc/tests/systemc/kernel/sc_time/test16/expected_returncode b/src/systemc/tests/systemc/kernel/sc_time/test16/expected_returncode new file mode 100644 index 000000000..d00491fd7 --- /dev/null +++ b/src/systemc/tests/systemc/kernel/sc_time/test16/expected_returncode @@ -0,0 +1 @@ +1 |