MCPcopy Create free account
hub / github.com/csmith-project/csmith / has_random_based_conflict

Method has_random_based_conflict

src/CGOptions.cpp:401–426  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

399}
400
401bool CGOptions::has_random_based_conflict(void)
402{
403 bool rv = false;
404 if (!CGOptions::random_based()) {
405 if (!CGOptions::split_files_dir().empty()) {
406 conflict_msg_ = "split_files_dir ";
407 rv = true;
408 }
409 else if (CGOptions::max_split_files() > 0) {
410 conflict_msg_ = "max_split_files ";
411 rv = true;
412 }
413 if (rv) {
414 conflict_msg_ += "can only be applied to random mode";
415 return rv;
416 }
417 }
418 else {
419 if (CGOptions::sequence_name_prefix()) {
420 conflict_msg_ = "--sequence-name-prefix option can only be \
421 used with --dfs-exhaustive";
422 rv = true;
423 }
424 }
425 return rv;
426}
427
428bool CGOptions::resolve_exhaustive_options()
429{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected