mirror of
https://github.com/plasma-umass/coz.git
synced 2024-10-26 07:39:17 +03:00
Merge pull request #145 from amedeedaboville/require-fixed-line-found
Fail when a --fixed-line is given and it is not found
This commit is contained in:
commit
a20cc846d7
@ -146,7 +146,7 @@ void init_coz(void) {
|
||||
shared_ptr<line> fixed_line;
|
||||
if(fixed_line_name != "") {
|
||||
fixed_line = memory_map::get_instance().find_line(fixed_line_name);
|
||||
PREFER(fixed_line) << "Fixed line \"" << fixed_line_name << "\" was not found.";
|
||||
REQUIRE(fixed_line) << "Fixed line \"" << fixed_line_name << "\" was not found.";
|
||||
}
|
||||
|
||||
// Create an end-to-end progress point and register it if running in
|
||||
|
Loading…
Reference in New Issue
Block a user