{"size": 2235, "ext": "scrbl", "max_stars_repo_path": "xsmith/scribblings/xsmith.scrbl", "max_stars_repo_name": "pmatos/xsmith", "max_stars_repo_stars_event_min_datetime": "2020-10-14T00:35:12.000Z", "max_stars_repo_stars_event_max_datetime": "2021-04-02T04:35:44.000Z", "max_issues_repo_path": "xsmith/scribblings/xsmith.scrbl", "max_issues_repo_name": "pmatos/xsmith", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "xsmith/scribblings/xsmith.scrbl", "max_forks_repo_name": "pmatos/xsmith", "max_forks_repo_forks_event_min_datetime": "2022-03-24T09:55:35.000Z", "max_forks_repo_forks_event_max_datetime": "2022-03-24T09:55:35.000Z"}
{"max_stars_count": 3, "max_issues_count": null, "max_forks_count": 1, "avg_line_length": 38.5344827586, "max_line_length": 79, "alphanum_fraction": 0.693064877}
#lang scribble/manual
@; -*- mode: Scribble -*-
@;
@; Copyright (c) 2018-2020 The University of Utah
@; All rights reserved.
@;
@; This file is part of Xsmith, a generator of highly effective fuzz testers.
@;
@; Redistribution and use in source and binary forms, with or without
@; modification, are permitted provided that the following conditions are met:
@;
@;   * Redistributions of source code must retain the above copyright notice,
@;     this list of conditions and the following disclaimer.
@;
@;   * Redistributions in binary form must reproduce the above copyright
@;     notice, this list of conditions and the following disclaimer in the
@;     documentation and/or other materials provided with the distribution.
@;
@; THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
@; AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
@; IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
@; ARE DISCLAIMED.  IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
@; LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
@; CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
@; SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
@; INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
@; CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
@; ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
@; POSSIBILITY OF SUCH DAMAGE.

@;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

@(require
"util.rkt"
"../private/xsmith-version.rkt"
)

@title{Xsmith}
@defmodule[xsmith]

@author[(@author+email "William Hatch" "william@hatch.uno")
        (@author+email "Pierce Darragh" "pierce.darragh@gmail.com")
        (@author+email "Eric Eide" "eeide@cs.utah.edu")]

Version @xsmith-version-string

@include-section["introduction.scrbl"]
@include-section["install.scrbl"]
@include-section["guide.scrbl"]
@include-section["reference.scrbl"]
@include-section["acknowledgments.scrbl"]

@include-section["code-and-license.scrbl"]

@;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

@; End of file.
