mirror of https://github.com/google/oss-fuzz.git
67 lines
2.3 KiB
C++
67 lines
2.3 KiB
C++
/*
|
|
# Copyright 2019 Google Inc.
|
|
#
|
|
# Licensed under the Apache License, Version 2.0 (the "License");
|
|
# you may not use this file except in compliance with the License.
|
|
# You may obtain a copy of the License at
|
|
#
|
|
# http://www.apache.org/licenses/LICENSE-2.0
|
|
#
|
|
# Unless required by applicable law or agreed to in writing, software
|
|
# distributed under the License is distributed on an "AS IS" BASIS,
|
|
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
# See the License for the specific language governing permissions and
|
|
# limitations under the License.
|
|
#
|
|
################################################################################
|
|
*/
|
|
|
|
#include <minizinc/solver.hh>
|
|
|
|
using namespace std;
|
|
using namespace MiniZinc;
|
|
|
|
extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {
|
|
|
|
Timer starttime;
|
|
bool fSuccess = false;
|
|
try {
|
|
MznSolver slv(std::cout,std::cerr);
|
|
try {
|
|
std::string model = std::string(reinterpret_cast<const char*>(Data), Size);
|
|
std::vector<std::string> args({"-c","--solver","org.minizinc.mzn-fzn"});
|
|
fSuccess = (slv.run(args, model, "minizinc", "model.mzn") != SolverInstance::ERROR);
|
|
} catch (const LocationException& e) {
|
|
if (slv.get_flag_verbose())
|
|
std::cerr << std::endl;
|
|
std::cerr << e.loc() << ":" << std::endl;
|
|
std::cerr << e.what() << ": " << e.msg() << std::endl;
|
|
} catch (const Exception& e) {
|
|
if (slv.get_flag_verbose())
|
|
std::cerr << std::endl;
|
|
std::string what = e.what();
|
|
std::cerr << what << (what.empty() ? "" : ": ") << e.msg() << std::endl;
|
|
}
|
|
catch (const exception& e) {
|
|
if (slv.get_flag_verbose())
|
|
std::cerr << std::endl;
|
|
std::cerr << e.what() << std::endl;
|
|
}
|
|
catch (...) {
|
|
if (slv.get_flag_verbose())
|
|
std::cerr << std::endl;
|
|
std::cerr << " UNKNOWN EXCEPTION." << std::endl;
|
|
}
|
|
|
|
if (slv.get_flag_verbose()) {
|
|
std::cerr << " Done (";
|
|
cerr << "overall time " << starttime.stoptime() << ")." << std::endl;
|
|
}
|
|
} catch (const Exception& e) {
|
|
std::string what = e.what();
|
|
std::cerr << what << (what.empty() ? "" : ": ") << e.msg() << std::endl;
|
|
}
|
|
|
|
return 0; // Non-zero return values are reserved for future use.
|
|
}
|