component---src-docs-advanced-incrementality-md-65b9a39b89984e9a2aea.js

"use strict";(self.webpackChunkunittestbot_web=self.webpackChunkunittestbot_web||[]).push([[9155],{67482:function(e,t,a){a.r(t),a.d(t,{_frontmatter:function(){return l},default:function(){return u}});var n=a(87462),r=a(63366),i=(a(15007),a(64983)),s=a(23017),o=(a(8156),["components"]),l={};void 0!==l&&l&&l===Object(l)&&Object.isExtensible(l)&&!Object.prototype.hasOwnProperty.call(l,"__filemeta")&&Object.defineProperty(l,"__filemeta",{configurable:!0,value:{name:"_frontmatter",filename:"src/docs/advanced/incrementality.md"}});var c={_frontmatter:l},f=s.Z;function u(e){var t=e.components,a=(0,r.Z)(e,o);return(0,i.kt)(f,(0,n.Z)({},c,a,{components:t,mdxType:"MDXLayout"}),(0,i.kt)("h1",{id:"incrementality"},"Incrementality"),(0,i.kt)("p",null,"Users can create multiple requests of tests generation; UTBot creates many artifacts for each of them, namely:"),(0,i.kt)("ul",null,(0,i.kt)("li",{parentName:"ul"},"UTBot KLEE files;"),(0,i.kt)("li",{parentName:"ul"},"UTBot stub files and headers;"),(0,i.kt)("li",{parentName:"ul"},"Object files and project targets for user project files, KLEE files, stub files built both in LLVM bitcode and with a\nclassic C/C++compiler/linker;"),(0,i.kt)("li",{parentName:"ul"},"Test source files and headers;"),(0,i.kt)("li",{parentName:"ul"},"Test executables."),(0,i.kt)("li",{parentName:"ul"},"UTBot Makefiles")),(0,i.kt)("p",null,"Notice that many of those artifacts are reusable between test generation requests: if a test generation happens for two\nfiles in the same project target, then all stub sources and artifacts from them, all but one project targets artifacts\nbuilt in LLVM bitcode and as native files, are already prepared by UTBot and do not need to be recreated. To control\nartifacts state and reuse them, UTBot generates UTBot Makefiles for every test generation and run step. Generated\nMakefiles are used for multiple purposes that are determined by environment variables, namely: compile sources, link\nthem into LLVM IR for KLEE, compile tests and link them into real library or executable for run, turn stubs off/on, turn\ncoverage off/on. When a request is made, corresponding rule from a Makefile is called. Hence, if rule dependencies are\nup to date, they are reused — Makefile watches artifacts creation timestamps and is able to determine if a Makefile\ntarget is up to date."))}u&&u===Object(u)&&Object.isExtensible(u)&&!Object.prototype.hasOwnProperty.call(u,"__filemeta")&&Object.defineProperty(u,"__filemeta",{configurable:!0,value:{name:"MDXContent",filename:"src/docs/advanced/incrementality.md"}}),u.isMDXComponent=!0}}]);
//# sourceMappingURL=component---src-docs-advanced-incrementality-md-65b9a39b89984e9a2aea.js.map