symbolic execution – Can I include some manual effort in creating an otherwise automated research prototype tool?


I am a research student in the area of programming language/software engineering. I am claiming to provide an automated technique to solve a research problem in one of my papers. The prototype tool that I am creating for this paper is required to test some real-world libraries. I am using a symbolic execution tool in my research and it crashes on encountering native functions in some third-party libraries. To mitigate this problem, I provide my own model class that is basically a dummy class with non-native functions. Instead of using the original class which contained the native functions, I change the library to use this model class so that symbolic execution works better. Will this be called manual effort in my tool? Can’t I call my technique an automated one now? Moreover, is it cheating?